Một tính chất P của một vật A trong phạm trù C gọi là bất biến nếu như mọi vật đẳng cấu với nó đều có tính chất P.

Như vậy, khi phân loại các vật, nếu vật A có tính chất P còn vật B không có tính chất P ta biết ngay vật B không cùng kiểu với vật A. Việc tìm và nghiên cứu các bất biến trong một phạm trù cụ thể là một việc làm rất cơ bản trong toán học.